Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Motility defects in Campylobacter jejuni defined gene deletion mutants caused by second-site mutations.

Genetic variation due to mutation and phase variation has a considerable impact on the commensal and pathogenic behaviours of Campylobacter jejuni. In this study, we provide an example of how second-site mutations can interfere with gene function analysis in C. jejuni. Deletion of the flagellin B gene (flaB) in C. jejuni M1 resulted in mutant clones with inconsistent motility phenotypes. From the flaB mutant clones picked for further analysis, two were motile, one showed intermediate motility and two displayed severely attenuated motility. To determine the molecular basis of this differential motility, a genome resequencing approach was used. Second-site mutations were identified in the severely attenuated and intermediate motility flaB mutant clones: a TA-dinucleotide deletion in fliW and an A deletion in flgD, respectively. Restoration of WT fliW, using a newly developed genetic complementation system, confirmed that the second-site fliW mutation caused the motility defect as opposed to the primary deletion of flaB. This study highlights the importance of (i) screening multiple defined gene deletion mutant clones, (ii) genetic complementation of the gene deletion and ideally (iii) screening for second-site mutations that might interfere with the pathways/mechanisms under study.This work was funded by BBSRC grant RG66581.This is the final version of the article. It was first available from Society for General Microbiology via http://dx.doi.org/10.1099/mic.0.00018

An unfolding signifier: London's Baltic Exchange in Tallinn

In the summer of 2007 an unusual cargo arrived at Muuga and Paldiski harbors outside Tallinn. It consisted of nearly 50 containers holding over 1,000 tons of building material ranging from marble columns, staircases and fireplaces, to sculpted allegorical figures, wooden paneling and old-fashioned telephone booths. They were once part of the Baltic Exchange in the City of London. Soon they will become facets of the landscape of Tallinn. The following article charts this remarkable story and deploys this fragmented monument to analyze three issues relating to the Estonian capital: the relocation of the ‘Bronze Soldier’, the demolition of the Sakala Culture Center, and Tallinn’s future role as European Cultural Capital in 2011

Measures for assessing practice change in medical practitioners

BACKGROUND: There are increasing numbers of randomised trials and systematic reviews examining the efficacy of interventions designed to bring about a change in clinical practice. The findings of this research are being used to guide strategies to increase the uptake of evidence into clinical practice. Knowledge of the outcomes measured by these trials is vital not only for the interpretation and application of the work done to date, but also to inform future research in this expanding area of endeavour and to assist in collation of results in systematic reviews and meta-analyses. METHODS: The objective of this review was to identify methods used to measure change in the clinical practices of health professionals following an intervention aimed at increasing the uptake of evidence into practice. All published trials included in a recent, comprehensive Health Technology Assessment of interventions to implement clinical practice guidelines and change clinical practice (n = 228) formed the sample for this study. Using a standardised data extraction form, one reviewer (SH), extracted the relevant information from the methods and/or results sections of the trials. RESULTS: Measures of a change of health practitioner behaviour were the most common, with 88.8% of trials using these as outcome measures. Measures that assessed change at a patient level, either actual measures of change or surrogate measures of change, were used in 28.8% and 36.7% of studies (respectively). Health practitioners' knowledge and attitudes were assessed in 22.8% of the studies and changes at an organisational level were assessed in 17.6%. CONCLUSION: Most trials of interventions aimed at changing clinical practice measured the effect of the intervention at the level of the practitioner, i.e. did the practitioner change what they do, or has their knowledge of and/or attitude toward that practice changed? Less than one-third of the trials measured, whether or not any change in practice, resulted in a change in the ultimate end-point of patient health status

Connectivity-based parcellation of the thalamus explains specific cognitive and behavioural symptoms in patients with bilateral thalamic infarct

A novel approach based on diffusion tractography was used here to characterise the cortico-thalamic connectivity in two patients, both presenting with an isolated bilateral infarct in the thalamus, but exhibiting partially different cognitive and behavioural profiles. Both patients (G.P. and R.F.) had a pervasive deficit in episodic memory, but only one of them (R.F.) suffered also from a dysexecutive syndrome. Both patients had an MRI scan at 3T, including a T1-weighted volume. Their lesions were manually segmented. T1-volumes were normalised to standard space, and the same transformations were applied to the lesion masks. Nineteen healthy controls underwent a diffusion-tensor imaging (DTI) scan. Their DTI data were normalised to standard space and averaged. An atlas of Brodmann areas was used to parcellate the prefrontal cortex. Probabilistic tractography was used to assess the probability of connection between each voxel of the thalamus and a set of prefrontal areas. The resulting map of corticothalamic connections was superimposed onto the patients' lesion masks, to assess whether the location of the thalamic lesions in R.F. (but not in G. P.) implied connections with prefrontal areas involved in dysexecutive syndromes. In G.P., the lesion fell within areas of the thalamus poorly connected with prefrontal areas, showing only a modest probability of connection with the anterior cingulate cortex (ACC). Conversely, R.F.'s lesion fell within thalamic areas extensively connected with the ACC bilaterally, with the right dorsolateral prefrontal cortex, and with the left supplementary motor area. Despite a similar, bilateral involvement of the thalamus, the use of connectivity-based segmentation clarified that R.F.'s lesions only were located within nuclei highly connected with the prefrontal cortical areas, thus explaining the patient's frontal syndrome. This study confirms that DTI tractography is a useful tool to examine in vivo the effect of focal lesions on interconnectivity brain patterns

The views of general practitioners and practice nurses towards the barriers and facilitators of proactive, internet-based chlamydia screening for reaching young heterosexual men

Background: Chlamydia trachomatis is a common bacterial sexually transmitted infection (STI), which disproportionately affects young people under 25 years. Commonly, more women are offered screening than men. This study obtained the views of general practitioners and practice nurses towards Internet-based screening and assessed levels of support for the development of proactive screening targeting young heterosexual men via the Internet. Methods: Semi-structured telephone interviews with 10 general practitioners and 8 practice nurses, across Central Scotland. Topics covered: experience of screening heterosexual men for chlamydia, views on the use of the Internet as a way to reach young men for chlamydia screening, beliefs about the potential barriers and facilitators to Internet-based screening. Transcripts from audio recordings were analysed with Framework Analysis, using QSR NVivo10. Results: Experiences of chlamydia screening were almost exclusively with women, driven by the nature of consultations and ease of raising sexual health issues with female patients; few practice nurses reported seeing men during consultations. All participants spoke in favour of Internet-based screening for young men. Participants reported ease of access and convenience as potential facilitators of an Internet-based approach but anonymity and confidentiality could be potential barriers and facilitators to the success of an Internet approach to screening. Concerns over practical issues as well as those pertaining to gender and socio-cultural issues were raised. Conclusions: Awareness of key barriers and facilitators, such as confidentiality, practicality and socio-cultural influences, will inform the development of an Internet-based approach to screening. However, this approach may have its limits in terms of being able to tackle wider social and cultural barriers, along with shifts in young people's and health professionals' attitudes towards screening. Nevertheless, employing innovative efforts as part of a multi-faceted approach is required to ensure effective interventions reach the policy agenda

Bilateral Assessment of Functional Tasks for Robot-assisted Therapy Applications

This article presents a novel evaluation system along with methods to evaluate bilateral coordination of arm function on activities of daily living tasks before and after robot-assisted therapy. An affordable bilateral assessment system (BiAS) consisting of two mini-passive measuring units modeled as three degree of freedom robots is described. The process for evaluating functional tasks using the BiAS is presented and we demonstrate its ability to measure wrist kinematic trajectories. Three metrics, phase difference, movement overlap, and task completion time, are used to evaluate the BiAS system on a bilateral symmetric (bi-drink) and a bilateral asymmetric (bi-pour) functional task. Wrist position and velocity trajectories are evaluated using these metrics to provide insight into temporal and spatial bilateral deficits after stroke. The BiAS system quantified movements of the wrists during functional tasks and detected differences in impaired and unimpaired arm movements. Case studies showed that stroke patients compared to healthy subjects move slower and are less likely to use their arm simultaneously even when the functional task requires simultaneous movement. After robot-assisted therapy, interlimb coordination spatial deficits moved toward normal coordination on functional tasks